On Understanding Types, Data Abstraction, and Polymorphism
論文
pdf
派生型 (derived type)
抽象データ型
クラス